void	runtime_semacquire(uint32 volatile *);
void	runtime_semrelease(uint32 volatile *);
